41. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
42. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
43. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
44. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
45. Future generation information technology
پدیدآورنده : Young-hoon Lee ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Electronic data processing, Congresses,Information technology, Congresses,Software engineering, Congresses
رده :
T58
.
5
.
F98
2009eb
46. History of Nordic computing 3
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Scandinavia ; History ; Congresses. ; Computer science ; Scandinavia ; History ; Congresses. ;
47. History of Nordic computing 3
پدیدآورنده : / John Impagliazzo, Per Lundin, Benkt Wangler (eds.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing--Scandinavia--History--Congresses,Computer science--Scandinavia--History--Congresses
رده :
QA
,
75
.
5
,.
W62
,
2010
48. Multiset processing
پدیدآورنده : / Cristian S. Calude ... [et al.] (eds.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing--Congresses,Computer science--Mathematics--Congresses,Molecular computers--Congresses
رده :
QA
,
76
.
5
,.
M85
,
2001
49. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
50. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
51. Numerical solution of partial differential equations :
پدیدآورنده : edited by J.G. Gram.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Differential equations, Partial -- Numerical solutions -- Congresses.,Electronic data processing.
52. Object-based distributed programming : ECOOP'93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : Proceedings
پدیدآورنده : Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
791
53. PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003
پدیدآورنده : sponsored by: ACM Special Interest Group on Automata and Computing Theory )SIGACT(, ACM Special Interest Group on Management of Data )SIGMOD(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Kanellakis, Paris C. , 3591-5991,Congresses ، Computer science,Congresses ، Electronic data processing
رده :
QA
75
.
5
.
P27
2003
54. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, June 17-19, 1997, Ramat-Gan, Israel
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Congresses,، Electronic digital computers-- Congresses,، Computer science-- Congresses
رده :
QA
75
.
5
.
I77
1997
55. Proceedings of the Parallel, Distributed, and Network-Based Processing : 18-20 February 2009 / Weimar, Germany
پدیدآورنده : ]edited by Didier El Baz, Francois Spies, Tom Gross[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
E97
2009
56. Proceedings of the Parallel, Distributed and Network-based Processing, 18-20 February 2009, Weimar, Germany
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Electronic data processing-- Distributed
رده :
QA
76
.
58
.
E87
2009
57. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
58. Proceedings : 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Garching, Germany, 15-17 February 2012
پدیدآورنده : edited by Rainer Stotzka, Michael Schiffers, and Yiannis Cotronis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel programming )Computer science(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
58
.
E97
2012
59. Scientific computing and automation (Europe) 1990
پدیدآورنده : edited by E.J. Karjalainen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering-- Congresses.,Electronic digital computers-- Scientific applications-- Congresses.,Science-- Data processing-- Congresses.,Technology-- Data processing-- Congresses.
60. Service-Oriented Computing – ICSOC 2014 Workshops
پدیدآورنده : \ [Edited by] Farouk Toumani...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Electronic data processing -- Distributed processing -- Congresses,Service-oriented architecture (Computer science) -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,معماری خدمات‌گرا (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
S4
2015
E-Book
,
